Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Nicolas Beldiceanu , Constraint (Master ORO ), 30h, M2, Nantes University, France.

• Master: Nicolas Beldiceanu , Logic Programming, 32h, M2, Mines Nantes, France.

• Master: Nicolas Beldiceanu , Gipad end project, 8h, M2, Mines Nantes, France.

• Licence: Nicolas Beldiceanu , Programming with Java, 42h, L3, Mines Nantes, France.

• Licence: Nicolas Beldiceanu , IPIPIP project, 12h, L1, Mines Nantes, France.

• Master: Gilles Chabert , Non-linear programming, 20h, M2, Mines Nantes, France.

• Master: Gilles Chabert , Non-linear optimization, 20h, M1, Mines Nantes, France.

• Master: Gilles Chabert , Non-linear optimization, 24h, M1, Nantes University, France.

• Licence: Gilles Chabert , Variational calculus, 12h, L3, Mines Nantes, France.

• Licence: Gilles Chabert , Numerical methods, 21h, L3, Mines Nantes, France.

• Licence: Gilles Chabert , Numerical methods, 15h, L3, Mines Nantes, France.

• Licence: Gilles Chabert , Supervisions of projects, 66h, L3, Mines Nantes, France.

• Gilles Chabert , Member of the selection commitee for a position of associate professor at ISTIA (Angers University).

• Master: Xavier Lorca , Head of the major of the Master in Engineering, Computer Science for Decision Support, M2, Mines Nantes, France.

• Master: Xavier Lorca , Graph Theory, Algorithms, 22h, M1, Mines Nantes, France.

• Master: Xavier Lorca , Artificial Intelligence and Constraint Programming, 22h, M2, Mines Nantes, France.

• Master: Xavier Lorca , IT System and Software Development, 45h, M2, Mines Nantes, France.

• Master: Xavier Lorca , Decision support sytems, 45, M2, Mines Nantes, France.

• Master: Xavier Lorca , Supervisions of projects, L2, M1, M3, Mines Nantes, France.

• Licence: Éric Monfroy , Responsible of the L2 in Computer Science, Nantes University, France.

• Licence and Master: Éric Monfroy , Responsible of the pole "Fondements Théoriques", CS Department, Nantes University, France.

• Licence: Éric Monfroy , Algorithm 2, 16h, L2, Nantes University, France.

• Licence: Éric Monfroy , Logic, 40h, L2, Nantes University, France.

• Licence: Éric Monfroy , Language theory, 96h, L3, Nantes University, France.

• Licence: Éric Monfroy , Computer architecture, 40h, L3, Nantes University, France.

• Master: Éric Monfroy , supervision of 5 M2-MIAGE students (alternants), M2, Nantes University, France.

• Master: Éric Monfroy , seminar about problem modelisation (ORO Master), 2, M2, Nantes University, France.

• Master: Thierry Petit , Director of the Combinatorial Optimization degree, GIPAD, M2, Mines Nantes, France.

• Master: Thierry Petit , Director of the Artificial Intelligence and Constraint Programming degree, GIPAD, M2, Mines Nantes, France.

• Master: Thierry Petit , Discrete optimization, 9h, M2, Mines Nantes, France.

• Master: Thierry Petit , Constraint Programming in CHOCO , 20h, M2, Mines Nantes, France.

• Licence: Thierry Petit , Data structures, 20h, L2, Mines Nantes, France.

• Licence: Thierry Petit , Java Programming, 40h, L2, Mines Nantes, France.

• Licence: Thierry Petit , HMI, 13h, L2, Mines Nantes, France.

• Licence: Thierry Petit , FIL project supervisor, 12h, L2, Mines Nantes, France.

• Licence: Thierry Petit , IPIPIP project, 12h, L1, Mines Nantes, France.

• Licence: Thierry Petit , Introduction to Constraint Programming, 4h, L2, Worcester Polytechnic Institute, USA.

• Master: Florian Richoux , Constraint Programming, 12h, M2, University of Nantes, France.

• Master: Florian Richoux , Prediction of Parallel Speed-ups for Las Vegas Algorithms, 2h, M2, University of Tokyo, Japan.

• Licence: Florian Richoux , Design Patterns in Object-Oriented Programming, 86h, L3, University of Nantes, France.

• Licence: Florian Richoux , Algorithm and Data Structures, 45h, L2, University of Nantes, France.

• Licence: Charlotte Truchet , Algorithms and Programming, 46h, L1, University of Nantes, France.

• Master: Charlotte Truchet , Local Search, 10h, M2, Mines Nantes.

• E-learning

  • Pedagogical resources: Nicolas Beldiceanu , global constraint course, exercises (available in two fomats: pdf and interactivly on the web) M2, http://imedia.emn.fr/global_constraints_course/

Supervision

• PhD: Bruno Belin, Interactive conception of sustainable urban environments with constraints, Nantes University, November 27, 2014, Charlotte Truchet , Marc Christie , Fréderic Benhamou .

• PhD: Jean-Guillaume Fages, Graph Theory in Constraint Programming, Theory and application to several graph covering problems, Nantes University, October 23, 2014, Xavier Lorca , Nicolas Beldiceanu .

• PhD: Charles Prud'homme , Controlling Propagation and Search within a Constraint Solver, Nantes University, February 28, 2014, Xavier Lorca , Narendra Jussien , Rémi Douence .

• PhD in progress: Anicet Bart, Mixed Constraint Solving, October 2014, Charlotte Truchet , Éric Monfroy .

• PhD in progress: Alban Derrien, Constraint propagation with limited time complexity, October 2012, Thierry Petit , Nicolas Beldiceanu .

• PhD in progress: Gilles Madi Wamba, Integrating time automata and constraint programming for modeling vm assignment in a data centre, October 2014, Nicolas Beldiceanu . Didier Lime , Oliver H. Roux .

• PhD in progress: Ignacio Sala Donoso, Packing curved shapes, May 2013, Gilles Chabert , Nicolas Beldiceanu .

• PhD in progress: Nicolás Sebastián Gálvez Ramírez, CP for Software Engineering, November 2014, Éric Monfroy , co-tutelle with Chile also involving Carlos Castro, Frédéric Saubion.

• PhD in progress: Alejandro Reyes Amaro, New parallel algorithms for combinatorial optimization, October 2013, Florian Richoux , Éric Monfroy .

Juries

• Nicolas Beldiceanu , Member of the committee of the HdR of Xavier Lorca , Elément de flexibilité et d'efficacité en programmation par contraintes, (Nantes University, November 6, 2014).

• Nicolas Beldiceanu , Member of the committee of the HdR of Thierry Petit , Concilier expressivité et éfficacité en programmation par contraintes, (Nantes University, December 4, 2014).

• Nicolas Beldiceanu , Member of the PhD committee of the thesis of Jean-Guillaume Fages, Graph Theory in Constraint Programming, Theory and application to several graph covering problems, (Nantes University, October 23, 2014).

• Fréderic Benhamou , Member of the PhD committee of the thesis of Bruno Belin, Interactive conception of sustainable urban environments with constraints, (Nantes University, November 27, 2014).

• Gilles Chabert , Member of the PhD committee of the thesis of Aymeric Bethencourt, Interval Analysis for swarm localization. Application to underwater robotics. (ENSTA Bretagne, September 30, 2014).

• Xavier Lorca , Member of the PhD committee of the thesis of Jean-Guillaume Fages, Graph Theory in Constraint Programming, Theory and application to several graph covering problems, (Nantes University, October 23, 2014).

• Xavier Lorca , Member of the PhD committee of the thesis of Charles Prud'homme, Controlling Propagation and Search within a Constraint Solver, (Nantes University, February 28, 2014).

• Charlotte Truchet , Member of the PhD committee of the thesis of Bruno Belin, Interactive conception of sustainable urban environments with constraints, (Nantes University, November 27, 2014).

• Éric Monfroy , Member of the HDR committee of the Habilitation thesis of Xavier Lorca , Elément de flexibilité et d'efficacité en programmation par contraintes, (Nantes University, November 6, 2014).

• Éric Monfroy , Member of the HDR committee of the Habilitation thesis of Adrien Goeffon , Modèles d'abstraction pour la résolution de problèmes combinatoires, (Angers University, November 17, 2014).

• Éric Monfroy , Member of the HDR committee of the Habilitation thesis of Thierry Petit , Concilier expressivité et éfficacité en programmation par contraintes, (Nantes University, December 4, 2014).

• Éric Monfroy , Member of the PhD committee of the thesis of Xavier Dupont, (Caen University, December 18, 2014).

• Éric Monfroy , Member of the Magister committee of the Magister thesis of N. Galvez, (UTFSM, Chile, November 19, 2014).